Property testing - PDFSEARCH.IO - Document Search Engine

Property testing
Results: 193

#	Item
21	Foundational Property-Based Testing Zoe Paraskevopoulou1,2 C˘at˘alin Hrit¸cu1 Maxime D´en`es1 Leonidas Lampropoulos3 Benjamin C. Pierce3 1 Inria Paris-Rocquencourt Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-06-06 02:52:29
22	What are you trying to tell me? A Bayesian model of how toddlers can simultaneously infer property extension and sampling processes Hyowon Gweon, Joshua B. Tenenbaum, and Laura E. Schulz (hyora, jbt, ) Dep Add to Reading List Source URL: sll.stanford.edu Language: English - Date: 2014-08-12 22:52:25 Statistics Knowledge Statistical theory Statistical inference Hypothesis testing Sampling techniques Survey methodology Sampling Bayesian inference Causality Bayesian network Simple random sample
23	Property-based testing for Web Services Simon Thompson University of Kent Thomas Arts Add to Reading List Source URL: www.prowessproject.eu - Date: 2015-06-10 08:33:28
24	More Secure Software Systems by Formal Verification, Property-Based Testing, Secure Compilation, and Dynamic Monitoring Cătălin Hrițcu Inria Paris, Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-15 12:26:17 Security Computer security Cyberwarfare Formal methods Logic in computer science E-commerce Secure communication Cryptographic software Formal verification Cryptographic protocol Vulnerability ProVerif
25	A Coq Framework For Verified Property-Based Testing (Extended Abstract) Zoe Paraskevopoulou1,2,3 C˘at˘alin Hrit¸cu3 Maxime D´en`es3 Leonidas Lampropoulos4 Add to Reading List Source URL: coqpl.cs.washington.edu Language: English - Date: 2014-12-09 20:28:04
26	Property-based testing, race conditions, and QuickCheck John Hughes QuickCheck in a Nutshell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-09 17:43:16
27	Algorithmic and Analysis Techniques in Property Testing Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2013-08-15 03:44:42
28	An ISOaccredited testing laboratory. EXAMPLES OF MATERIAL PROPERTY TESTING ADHESIVES Add to Reading List Source URL: composites.umaine.edu Language: English - Date: 2015-05-15 09:23:14
29	Property Testing: A Learning Theory Perspective Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2009-05-02 11:33:29 Machine learning Computational complexity theory Theoretical computer science Applied mathematics Learning Models of computation Property testing Decision tree model Sample complexity PP Probability distribution Time complexity
30	OPEN PROBLEMS IN DATA STREAMS, PROPERTY TESTING, AND RELATED TOPICS June 14, 2011 A BSTRACT. This document contains a list of open problems and research directions that have been suggested by participants at the Bertinor Add to Reading List Source URL: onak.pl Language: English - Date: 2013-12-14 00:23:34

UPDATE